"S Kowalewski; Marco Roveri" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)

Stefan Kowalewski, Marco Roveri

Категория: Техника

5.47 Mb

#2

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings

S Kowalewski; Marco Roveri

Категория: Cs_Computer science, CsLn_Lecture notes

5.54 Mb